The best thing I ever did, no dust, warm to lie on and after 17 years it's still in good condition.
So my advice, carpet the floor.
I do a lot of maintenance in mine and there is always oil and other dirty stuff on the floor no matter how hard I try to prevent that.
It would be great if you are not a mucky pup like me. In saying that if you are not changing oil etc then yes that seems a good idea.