Please check their website under Boat Launching https://www.ahpd.org/facilities/lake-arlington/
I could see only one small boat being driven possibly on rental basis.
I didn't see any boats when I was there. Bringing your own boat sounds awesome.
Thanks! Your answer is awaiting moderation.