its nearly 7 years since i went swimming to metrodome- are you still allowed to swim in shorts or do you have to have trunks?