I'd say more aperture isn't always the best thing to go for, because bigger telescopes require more cooling to give best views of planets. For this reason, I'd not usually recommend big catadioptrics due to their closed design, requiring long cooldown times. Newtonian's open design and less central obstruction is better in this regard, but still, 250mm or even 200mm isn't something you can just bring out and expect optical views.
Also, bigger telescopes are more adversely affected by poor seeing.
Yes, go for the 250p Synscan. For Imaging, you can't beat aperture, as software nowadays usually take care of poor seeing. But spend the rest on a good quality, long focal length 102mm ED refractor, or even 120mm if money allows (or you can downsize to 200p Synscan to allocate more to refractor). It will allow for planetary viewing with minimal cooldown when you don't have much time. You'd need to consider mount as well, but 102mm could go on same mount as C6.