This question is to help me find peace.
First, the question of the Snowflake's compactness has been tackled here on this site:
But I'm inclined to believe it is not. The only reason Henning Makholm's argument does not fully convince me is because I believe I can come up with an open cover without finite subcover. What you do is surround each triangle with an open triangle small enough so that it doesn't intersect the 'sprouts' two levels down which sprouted out of the first iteration, and then repeat that ad infinitum. I hope this picture helps (the grey lines represents the open sets):

So, my question is why does this open cover have a finite subcover?
It's not an open cover. Take a point of a "sprout" that is not in open set number $n$. These can be chosen to converge (and in any case some subsequence must converge). The limit is in the snowflake but not in any of your open sets.