Can they route prefixes?
Getting temporary PI would be an option, but I don't know how to get those with ARIN.
Can they drop an essid on a distinct vlan from their Wi-Fi infra? Could we/they add APs to their controller if we need more coverage?
Same vlan could be used for wired.
Richard
Sent by mobile; excuse my brevity.