We saw Gunner and a couple of other regulars with their dogs.

To get a new fan in the washroom would simply be 600$ with cleaning and everything. 

It is worth doing.