OK, makes sense.
In GIMP: Image >> Color Management >> Convert to Color Profile
It isn’t very user-friendly, but I guess that’s FOSS in general until someone writes some code.
This isn’t going to be very good for batch printing. I may instead investigate running a Windows VM and print from within there, and use some commercial tools instead.
Thanks for the responses