I made another attempt using ‘etcher’ to copy the mint iso to a pen drive
All very straight forward to use etcher and the pen drive worked perfectly even on the
HP pc that previously did not like...