The coffee people say something like 5 or 6 ounces is a 'cup' but my cup is the same size as yours.

The selection of affordable replacement carbs is not very big. Perry is one of the few who give any measurements. For most others you have to depend on the kindness of RCU members to provide the info.