The tef file at 200bpm is about the speed Ben plays it in the lesson and to me, sounds like a decent speed for the tune.
But it is probably too fast for 3 1/2 months in (I’ve been playing almost 2 1/2 years now).
Play it at the speed where you can play it comfortably today. Play it a little bit faster tomorrow. And maybe a little bit faster the next day. Do this for another 3 1/2 months and I think you’ll find it sounds pretty good at that speed.
I’ve been playing 2 1/2 years and Ben’s basic Wildwood Flower gave me some problems. I played it 250 or so times before it started to get easy. So if you play it three times a day, that’s 3 months.
Keep practicing and have fun!