IMO use a 5-20, even for the sake of using the ground pin for polarity.
You're getting rather close to British ideas there, where a BS1363 plug has the ground pin whether it's needed or not. Some of the latest molded-on plug sets actually have a
plastic earth pin.
