OK, third attempt at a good fix that covers everything. Keep other mount interactions the same as originally, but just flip the mount vs. push order on boat types, giving push priority on boats. Required moving the Push menu command out of BaseVehicle.