I pick option #4, Celestron C9.25

Currently super cheap at a certain vendor (PM me for details, let's do everyone a favour and keep the infamous import price argument out of your thread). Yes, you would need the reducer/flattener, but it would provide a weight and price advantage over the ones you mentioned.
Regards,
Eric