 guys that i've worked with that are still there and uh not sure what what they're going to be doing but i wish them well and and whatever they do um afterwards and uh i'm guessing that maybe tommy and gary might retire because they're getting to be that age but i hadn't heard anything from dave and was just kind of wondering what might be happening with happening with some of the guys up there that i that i used to work with and uh like i said i just uh