押しピンタイプの通称ピンマーカーはボールマーカーです
その使用に制限はありません

当然JGAよりオフィシャルで販売されているカジノコインタイプマーカーも同様
その使用に制限はありません

これがこのスレの結論です

ルールで言ってるのはボールマーカーを使えという事
小さなコインや同様の物を代用して良いですよと言う文章
代用品の小さなコインに拘っても誰も説得できませんよ

そして押しピンタイプのピンマーカーやカジノコインタイプマーカーは代用品ではなく
ボールマーカーそのものと言う解釈が正しい

>ティーも駄目、グリーフォークも駄目、五寸釘もつま先も駄目、もちろんマナー的にね
>>828
で説明済み