Yes, 4000' is way too long, touchdown lights or not.
to my knowledge, all big airlines in the USA don't do circling approaches....unless the weather is above basic VFR mins.
Indeed, my ticket even says something like: circling not authorized below basic vfr.
(just another cheapening of the sim time)
ok...the crew screwed up badly...shall we move on?