Any micro-limit home players use 12.5 cent chips?

[chipper57AA]

I play a relatively low micro-limit home game and have been tossing around the idea of getting rid of having separate chips for 5c, 10c, 25c, 50c and reducing one color. Can't exactly use 10c, 25c, 50c without having to deal with the occasional 5c gap that occurs. My thoughts were to switch to 12.5c, 25c, 50c denominations. Anyone else use a 12.5 cent chip out there? I've seen some old casino chips that use to use the 12.5 cent denomination but they are long gone. (Ya I know we play for peanuts - but we just like keeping it a friendly game).