Running a hardwire would probably be last resort. I love my mesh routers at my house and I could set one up in the window nearest the shop and then another in the window of the shop probably.
Using a repeater or extender would essentially be a second network, right? If he left his house and went to the shop, he'd have to switch networks?