Since this is, apparently, something of an experiment for you, I'd go with your second listed player. Less complex (no radio) and more easily accessed input/outputs AND they're at the back of the rig.
Remotes are nice but easily lost, so in that event, this player has the normal control
buttons for an MP3 and an LED readout (the other did not: no play/pause, no readout).
You'll have to come up with some miniature connectors which are not always easy to find. I get most of mine from scrapping old VCRs, DVDs and the like. You can use female, pin type, single wire push-on jumpers instead if need be. All Input/Output pins are marked as to function.
My experience with little buggers of this sort is that the on-board amp will handle
most low power, cheap speakers (2" to 3" types). Sound quality roughly equivalent to a bedside clock radio.
And again, this is for some vacation amusement, right? For the price, buy 2 in case you blow one up
.
Also, it says it takes a 12DC working voltage but the device itself uses a built-in, regulated 5VDC (USB level), so anything in between, say, 6 and 12VDC will work for your external power. Get a wall wart rated within that voltage range and with, say, 400-500mA capacity (the MP3 decoder itself only draws about 50 to 100mA, and that only when its playing).