Yes. they are. Totchos is a cute name developed to incorporate the word tot with nachos.