Before making any decisions, they should contact their regional director and FIRST. For Waco, I think the regional director is Patrick Felty (pfelty@usfirst.org). FIRST should be contacted at
frcteams@usfirst.org.
I would also recommend they bag and tag their robot immediately. As mentioned above, there may be something that can be worked out.