It sounds like a "GoPro Hero" camera.
They are outdoor action cameras.
Very often they're mounted on skiers helmets or kayaker decks.
They are built for rugged circumstances and that includes scuba diving.
So FredStripe was probably holding on to a (still) fully functional unit.
These sell (unbaptised) for around $300.
