I would like to know the max height of a Fanuc Robodrill year around 1992-1996 so I can see if it fits my ceiling. Thanks