Agreed. A high quality lap timer is $700. Plus a gear indicator for, say $150. And you're just about there already. Plus you can probably get $150 for your old dash (or more, if low kms) and you're totally there!

Now, where do I order one.....