I have a friend who is setting up a home karaoke setup for his wife/kids. Can anyone recommend a good k-player for mac? He said he's tried a couple but needs something that has a catalog/search function on it. Weird, I thought they all would've had that.