What type of cichlids are they with? (this is more out of curiousity as I am going to be settingup an african cichlid tank and trying to leave tiger barbs in the tank)
The pale color means they are stressed from something, and unfortunately, there are alot of possible somethings here. Possible stressors include the high temperature. To lower the temp, take the hood off while you are in the room and blow a fan on it. That seemed to work pretty well when the temp in my tank went up. The large amount of salt (the highest I've ever seen recomended is 1 tbsp/5 gal), and you are at about 5 x's that could also be stressing them out. I won't let anyone spray anything NEAR my tank. If the roomie is so desperate to clean the outside of the tank, I would make her spray it on a clean rag away from the tank and use that to clean.
I think you should begin daily water changes of around 15%-20% to help the fish out. This will slowly lower the salt level and also help incase any windex got into the tank. I know tiger barbs are very sensitive to bad water. They are usually my alarm for when something is wrong in my tank.