I am looking for a Gallet Decimal, if anyone knows of one that might come available please let me know. Thanks Olivier