Do not use a GL5 oil... Go out and buy some Redline MTL or MT-90 GL4 manual transmission fluid. You will notice the difference immediately.
I once swapped in a GL5 oil in my old '09 Vibe. It was instantly hard to shift and after the first day, became impossible the shift into 3rd without double clutching. Different transmission, yatta yatta... but the premise is the same, you can read up on the poor performance of gl5 fluids in small cars on many forums.
Red Line Synthetic Oil - Gear Oil for Manual Transmissions - MTL 70W80 GL-4 Gear Oil
You can find this product stocked on the shelf at most hotrodder/aftermarket performance shops. Napa ect won't stock it.