Ok, thanks.
You have a good budget but like me you like sharp clean views, have early cataract development, a bad back and move all your kit in and out for astro sessions.
It sounds like you have DSO AP covered with your ED80.
You can probably sell the 127 Mak to add funds to the kitty.
Your first choice probably needs to be the mount as that dictates what weight of scope you can use, You have mentioned an EQ6 in the past but they are heavy so would suggest you pay a visit to Rother Valley Optics and or your local astro club to see if you can manage one.
Possibly the easiest choice for planetary and double star observing is a refractor but the OTA size depends on the mount. Refractors are less affected by the poor seeing we can get in the UK. Binoviewers are highly recommended for this.
I don’t do Planetary AP but would suggest a Newtonian with a rear mounted fan for quicker cool down, again the size is mount dependant.
Suggestion 1 : Heavy option (new prices)
SW EQ6 PRO: £1500
Askar 120 APO triplet: £1500
SW 10” F/5 Newtonian: £530
Suggestion 2 : Lighter option (new prices)
SW EQ5 PRO: £699
Starfield ED102: £899
SW 8” F/5 Newtonian: £349
Many other options are available 🙂
Hope that helps.