Lost Del Taco DS Game (Late 2000's - Early 2010's)

Sometime around the late 2000's or early 2010's my friends and I stopped by to grab some food at a Del Taco (This is like in the four corners region of the US) and to our surprise one of the toys they had in the kid's meals was a DS game featuring their mascot at the time, Mr. Nibbles. The game was a pretty short and easy 2D platformer that felt like it was made in flash, and if I remember correctly there was also a handful of minigames you could select from the main menu. I've included some pictures of the mascot character because there also seems to be surprisingly little documentation on its existence. This might be an instance of collective false memory or something, but we all have such vivid memories of this game that I don't wanna give up hope that it could be real