If they add a 50A CB to the input then they will be OK provided nothing in the RV limits the power. My rig and others have load shedding which would not detect 240V and load shed to the default 30A. This cannot be changed w/o rewiring. In Mexico without a 50A CB on the SOTA and if they are drawing 8000 va which is 67A then the neutral from their 50A power plug to the CB panel is overloaded by 17A.
A hardwired unit would have to be removed upon returning to the US because the shorted hots will blow the 120/240V 50A CB.
Many years ago I concluded that the least understood topic on any RV forum was electrical and the least understood electrical item is 120/240V 50A power. Just shows how little is known about home power which is the very same circuit except the CB panel will have a 200A rating for example.
You're giving them good advice IMHO but they don't understand how different a 120/240V circuit is from a 120V circuit.