HKS just wanted the outright tin top record (which they got) and beat outright racecars from gt300 class. Their car was on slicks and built outside the rules permitted for tuning cars hence why their lap doesn't count on the tubing car records. There's open wheelers with faster laps than hks still. They're not the only car to go under 50.0