what tranny do i have?

[civic94]

i have a 94 civic dx manual, but my highway rpms are kinda high, dont know if the previous owner changed the tranny or not.

at 60 mph, its at 2500 on 5th gear
at 65 mph, its at 2700ish
at 70 mph, its at 3000


i think i either have a dx or ex tranny, since the vx tranny will be at about 2000 rpms at 60 mph.

i just wanted to know if its a dx tranny