Do I send a support ticket?

[Trickstar]

I had problems with my HUD not showing. I followed the guide in viewtopic.php?f=16&t=6916
When I changed the name of the layout file, the HUD came back up. When I then changed it back to layout.pt3, my orginal started working, so my problem kinda solved itself. Do I still send a support ticket?

[WhiteRider]

If you're not having any problems now I don't think the ticket would help, but if you see the problem again please do.