(a) At the request of a school district, the comptroller shall dispose of a school bus.
(b) A school district is not required to dispose of a school bus through the comptroller.
Official text of the Texas Education Code as published by the Texas Legislative Council.