Personally, I'm all in favor of them using a Double Rimmer salute.
Regarding current US military personnel saluting indoors or any other occasion while uncovered, your Marine friend is correct only so much as the Navy and Marines go.
Unless things have changed within the last few years, the Army and Air Force regulations allowed for saluting while indoors and uncovered.
The Navy and Marine Corps do not.