May one sell or purchase a Shemita Esrog?

In the Sukkos of the eighth year the Esrog of Jewish owned fields in Eretz Yisrael is treated as Kedushas Sheviis and hence may only be purchased through Otzer Beis Din, or Havlah as explained next.

Otzer Beis Din: A Halachilcly reliable Beis Din takes authority over the distribution of the fields Esrogim and collects a minimal fee for the Esrog in order to cover the expenses of the distribution.

Havlaah: One may sell before Sukkos a Shemitah Esrog that is not Otzer Beis Din, if he does so in Havlaah. This means that one includes the sale of Shemitah produce within the sale of other products that are not from Shemitah. Thus, for example one may sell before Sukkos a Shemitah Esrog together with a bag of lemons. One may charge an over the market price for the bag of lemons, due to the included Esrog, if the Esrog is not given a specific price and is simply part of the package. The money received for this payment does not have Kedushas Sheviis. [However there are some Poskim that are stringent and prohibit selling even in Havlah, and Havlah in their opinion only helps in the fact that it does not give the money a status of Kedushas Sheviis. Practically the custom is to be lenient.[1]]

May one import Israeli Esrogim of Kedushas Sheviis to the Diaspora for Sukkos?[5]

Some Poskim[6] rule it is permitted to do so even initially, on condition that the Esrogim are sold Behavlaah. Other Poskim[7] rule it is initially forbidden to do so. Some Poskim[8] rule it is permitted to do so in a situation that the city will not have any Esrogim available if they are not sent. According to all, even if an Esrog was taken out of Eretz Yisrael in a forbidden manner, it remains Kosher and can be used for the Mitzvah.[9]