<human>: So I've [20/f] been working at this place for about a month and started really crushing on one of my coworkers [21/m]. Whenever we'd start talking to each other we usually had a lot of similar interests and got along pretty well. I haven't dated in a few years and just moved back in with my parents after living about 5 hours away, it's nice to finally have a interest in someone but I don't know how to pursue it. I was talking to a few different coworkers about dating and they hinted that he's single, but for some reason I acted like I wasn't interested (which I wanted to slap myself for later!). When I came into work today I was excited to have a long shift with him, but it turns out that he just quit! I was actually trying to work up the nerve to ask him out this week but now I'm pretty upset that he's gone. Should I ask around at work if I should text him? Should I just let it go? This was the first time in years I felt ready to date and now I'm a little hurt that I lost my chance with this guy! To make the situation a little weirder, he quit because of a fight with the manager, who happens to be my brother. I honestly don't want to get involved in that drama, but I don't know if that will make dating him totally out of the question. I guess I'm really hung up on this guy because I haven't had a crush on anyone in a long time and I really want to finally date someone. I thought this was a perfect opportunity but now I don't know if I should go for it. I have his number (from a list at work) but I don't know if it would be appropriate to text him.

Could you distill the essence of the text into 1-3 sentences?
<bot>: Have a crush on coworker, working up the courage to ask him out. Come into work to find out he quit! Should I still pursue it?