Yeah I agree gator is not a great lynch for today, but by the same token, neither is JKDS.

lynch vinland

Other options are crazvette and gizmo.