Leak where shift lever goes into tranny what seals are they?

Whats the name of those seals? 91 gs…

http://www.acuraoemparts.com/delray/jsp/prddisplay.jsp?inputstate=5&catcgry1=INTEGRA&catcgry2=1991&catcgry3=3DR+GS&catcgry5=MT%2BCLUTCH%2BHOUSING&ListAll=All&vinsrch=no

#023 91215-689-013 oil seal; $6.67

I believe that is the right one.