Cracking shots! I need to do the maths but presume adding a reducer to the fc100 with the 55/67 combo would be better (or just a marginal gain for quite a chunky price tag)
I‘ve found adding a reducer in addition to my 67mm eyepiece to be a bit of a lottery. Standard photographic reducers often don’t work well since they require a very short (eg 55mm) distance to the focal plane which isn’t good with a 2inch diagonal and 67mm Televue eyepiece. With my refractors I’ve had the best results just using the 67mm eyepiece on its own without a reducer and hence like to start with a fast f5 refractor in the first place. I’ve had much more success using reducers with my c11 but in that case it’s reducing it from f10 to f7, not f7.4 to f5.5 which may be the reason.
I think others have tried using a reducer and 67mm combo but generally I think the experience is that it’s better to just use the 67mm only.