I see the 135mm EL Nikkors going for $50-75 on the ‘bay frequently. I got one from member here years ago, $75. Should help with head height limitations.