Since you mention it.. :P I think I would have increased saturation of yellow and cyan, then take cyan out of the sky again with the layers "blending options" -> "blend if.." -> blue : 205/228 for instance. Makes the roof pop a little, and adds more sun. The sky and red is just fine as is. Nice shot :)
(For anyone who isn't familiar with "blend if..":
Select channel to modify with the dropdown (defaults to gray.) Alt-click the top right double arrow on the slider to separate them. Modified pic on top layer, original below.)
-k2