I was really just kidding, as long as your top rail is level, it really doesn't matter if your floor is out by a little bit, if it's out by 1/4", then your install went very well.
In my opinion, having them come to fix the floor would be pool suicide - likely something else (more noticeable) would occur, liner won't fit right, liner rips, liner skews, , or you need to wait on a new liner when it's said and done, etc, etc. I would live with it since it's so small it wouldn't be noticeable.