I’d absolutely go with option #2 no question as it could likely offer not only the best sound for your main system but also may be your cheapest option. As mentioned earlier, a direct Ethernet connection to your router would provide the best sound through your streamer so moving your router to the basement makes a ton of sense from that perspective. Also, if the other remote areas in your house don’t require an uber-quality connection you may find relatively cheap — but still quite good — WiFi extenders will be more than sufficient and less costly than a Mesh system. TP-Link extenders get very good reviews, and I just got these (see below) for my two sons’ bedrooms — one of which is two floors away and on the opposite side of the house from the router and they work perfectly fine for only $35 each. Get them through Amazon and If they don’t happen to work in your situation just return them and go Mesh, but I think odds are good these will work just fine. Anyway, just my $0.02 FWIW, and best of luck.
https://smile.amazon.com/dp/B0971BBYSN?ref=ppx_yo2ov_dt_b_product_details&th=1