a) Ooh neat! Can that be found out through just general tomfoolery, or should Lion talk to Leon back on the moonbase for the sweet sweet deep lore?

and b) Lion will cut a decent length of rope off (similar to the one in the BIAS), then, in case they need proof of the weird rope room (and also because hey, free rope!). Who knows if the mine'll let them back in for it later.