I had my Mares Puck Pro dive computer wrapped up in some clothes for a plane trip back. Then I accidentally threw it in the washing machine with the clothes for a full cycle with a Tide pod. Nothing on it is visibly broken and it seems to operate (out of the water) just fine. Any risk that I damaged it in some way and it won't work properly in the water?