I think you are right, it is also known as mexican mushroom and other names are stropharia cubensis, stropharia cyanascens or stropharia caerulescens.
I saw today that ******* started to sell fresh cubensis
http://www.*******.net/productinfo.php?productmain=5&tabID=2&category=22
But...