I always had better luck using the O2COOL AC/DC/D-CELL 10-inch portable fan. My combo fan like shown at etrailer didn'd last very long. You will have to supply a 12VDC source and socket for those to work.
You can pick a battery operated round LED "PUCK" light pretty cheap from WALMART-LOWES-AMAZON...
Be sure to check AMAZON as source... Whenever I am looking for something I just type in what I need into google search - In this case i would simply type in 'BUNK END FAN/LIGHT' and when it loads up I select 'IMAGES'... Many pages photos to look at... Click on the one I like and Once I have a good part number then I type that into AMAZON first to see if they have it. AMAZON is a two day service for me and free shipping if order is over $25...
Roy Ken