Does anyone know if it's bad for a someone with a PFO to go the mountains, where the elevation is around 8K feet? I know there's an issue regarding divers and DCS, but I haven't yet found anything on elevation other than aviators at very high altitudes (such as astronauts).