Looks about right. And, if you did happen to find there's enough room, you could pull the socket out of the housing, and mount it through a hole.Found one!
BANDC Waterproof Marine Motorcycle Cigarette Lighter Power Socket 12v Power Outlet Tent https://www.amazon.com/dp/B00LZXFVXC/ref=cm_sw_r_cp_awd_pS6XwbQRH94CE